Thorn-forking in continuous logic
نویسندگان
چکیده
We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary imaginaries, a fact which is new even for classical real rosy theories.
منابع مشابه
Thorn-forking as Local Forking
We introduce the notion of a preindependence relation between subsets of the big model of a complete first-order theory, an abstraction of the properties which numerous concrete notions such as forking, dividing, thorn-forking, thorn-dividing, splitting or finite satisfiability share in all complete theories. We examine the relation between four additional axioms (extension, local character, fu...
متن کاملA Geometric Introduction to Forking and Thorn-forking
A ternary relation |̂ between subsets of the big model of a complete first-order theory T is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but o-minimal theories are also known to have an interesting independence relation. Our approach in this paper is to treat independence relations as mathematical objects worth study...
متن کاملForking and Dividing in Continuous Logic
We investigate an open question concerning properties of algebraic independence in continuous theories (see Section 4). The rest of the work is essentially a translation to continuous logic of popular notions of independence (in particular, forking and dividing). Much of the time we are simply “copying” classical proofs from well-known sources, while along the way making the necessary adjustmen...
متن کاملUltrametric Spaces in Continuous Logic
We investigate the continuous model theory of ultrametric spaces of diameter ≤ 1. There is no universal Polish ultrametric space of diameter 1; but there is a Polish ultrametric space, Umax, taking distances in Q∩[0, 1], which is universal for all such Polish ultrametric spaces. We show that in the continuous theory of Umax, nonforking is characterized by a stable independence relation, which i...
متن کاملForking and Dividing in Henson Graphs
For n ≥ 3, define Tn to be the theory of the generic Kn-free graph, where Kn is the complete graph on n vertices. We prove a graph theoretic characterization of dividing in Tn, and use it to show that forking and dividing are the same for complete types. We then give an example of a forking and nondividing formula. Altogether, Tn provides a counterexample to a recent question of Chernikov and K...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 77 شماره
صفحات -
تاریخ انتشار 2012